\begin{tabbing}
(\=Auto$\cdot$) \+
\\[0ex]CollapseTHEN ((Unfold `p{-}compose$\backslash$'` ( 0)$\cdot$) 
\\[0ex]CollapseTHEN (((if (((first\_nat 2:n
\-\\[0ex])\=) = 0) then (Repeat (MaAutoStep)) else (RepeatFor (first\_nat 2:n) (MaAutoStep)))$\cdot$) \+
\\[0ex]
\\[0ex]CollapseTHEN ((Try ((Complete (Auto$\cdot$))$\cdot$))$\cdot$)$\cdot$)$\cdot$)$\cdot$
\-
\end{tabbing}